$integral dY$ $partialdiff sub Y$ min $partialdiff sub X$ $integral dY$ $partialdiff sub Y$ [ WORLDBATH432 bath ]